Programming language specification - PDFSEARCH.IO - Document Search Engine

Programming language specification
Results: 252

#	Item
221	The Scala Language Specification Version 2.9 June 11, 2014 Add to Reading List Source URL: scala-lang.org Language: English - Date: 2014-06-10 20:01:00 Type theory Data types Functional programming Java platform Functional languages Scala Type system Covariance and contravariance Literal Computing Software engineering Computer programming
222	Use of formal methods in embedded software development: stakes, constraints and proposal Anthony Fernandes Pires∗† , Thomas Polacsek† , Virginie Wiels† and St´ephane Duprat∗ ∗ Atos Int´egration SAS, 6 impa Add to Reading List Source URL: www.erts2014.org Language: English - Date: 2014-01-10 03:51:09 Computing Systems engineering Software testing ANSI/ISO C Specification Language C programming language Software quality Frama-C Formal verification DO-178B Software development Formal methods Software
223	The Java® Virtual Machine Specification Add to Reading List Source URL: docs.oracle.com Language: English - Date: 2014-03-04 18:44:03 Computing platforms Java virtual machine Java programming language Java Opcode Type system Attribute Instruction set Java bytecode Computing Cross-platform software Java platform
224	X10 Language Specification Version 2.4 Vijay Saraswat, Bard Bloom, Igor Peshansky, Olivier Tardieu, and David Grove Please send comments to [removed] May 20, 2014 Add to Reading List Source URL: x10.sourceforge.net Language: English - Date: 2014-05-22 17:06:04 Cross-platform software Procedural programming languages Data types C++ X10 C++ classes C Array data type Literal Software engineering Computing Computer programming
225	Published in: 15th Working Conference on Reverse Engineering (15–18 Oct. 2008), Antwerp, Belgium Navigating Through the Design of Object-Oriented Programs Epameinondas Gasparis (1) Jonathan Nicholson (1) Add to Reading List Source URL: www.eden-study.org Language: English - Date: 2008-09-17 06:46:06 Computing LePUS3 Hierarchy Class Object-oriented design Inheritance Abstraction Specification language Objective-C Software engineering Object-oriented programming Computer programming
226	CASM Simulator Synthesis & Model Verification of the MIPS I architecture Specification Implementation Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2013-02-01 06:50:41 Hazard Central processing unit Instructions per second ALGOL 68 Software engineering Computing Programming language theory MIPS architecture
227	S-246, 187 Introduction to UPC and Language Specification William W. Carlson Jesse M. Draper Add to Reading List Source URL: www.gwu.edu Language: English - Date: 2013-12-04 13:04:25 Parallel computing Computer memory Threads Concurrency control Compiler construction Pointer Unified Parallel C C POSIX Threads Computing Software engineering Computer programming
228	C# LANGUAGE SPECIFICATION Add to Reading List Source URL: download.microsoft.com Language: English - Date: 2003-10-20 18:19:54 C++ Cross-platform software Data types Object-oriented programming Method C++ classes Objective-C Constructor C Software engineering Computing Computer programming
229	C# 2.0 SPECIFICATION Add to Reading List Source URL: download.microsoft.com Language: English - Date: 2006-08-21 12:40:14 C++ Type theory Data types Subroutines Java programming language Anonymous function C Sharp 2.0 Type system C Sharp Software engineering Computing Computer programming
230	C# LANGUAGE SPECIFICATION Add to Reading List Source URL: download.microsoft.com Language: English - Date: 2005-07-07 12:48:09 C++ Data types C programming language Method Procedural programming languages C++ classes C Pointer Sizeof Software engineering Computing Computer programming

UPDATE